4281. Using sophisticated models in resolution theorem proving

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Automatic theorem proving,، Mathematics - Data processing

رده :
QA
76
.
L4
v
.
90

4282. Using the Frechet derivative to improve Arnoldi's method

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Applied sciences,Computer science,Mathematics,Mathematics,Pure sciences

4283. VR, simulations and serious games for education /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer games, Congresses.,Educational games.,Virtual reality in education-- Research, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer games.,EDUCATION-- Administration-- General.,EDUCATION-- Organizations & Institutions.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,User interface design & usability.

رده :
LB1044
.
87

4284. Vacation queueing models :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Queuing theory.,Affaires.,Economie de l'entreprise.,Queuing theory.,Queuing theory.,Science économique.

رده :
T57
.
9
.
T49
2006eb

4285. Value functions in control systems and differential games : A viability method

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Control theory,، Differential games,، Hamilton-Jacobi equations,، Nonlinear functional analysis

رده :
QA
402
.
3
.
P56V2

4286. Van Nostrand's scientific encyclopedia

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Encyclopedias ، Science,Encyclopedias ، Engineering

رده :
Q
121
.
V3
1995

4287. Van Nostrand's scientific encyclopedia

کتابخانه: کتابخانه دانشکده روان شناسی و علوم تربیتی (شهید دقایقی) (تهران)

موضوع: Science - Dictionaries

رده :
Q
,
121
, .
V3
R

4288. Van Nostrand's scientific encyclopedia

کتابخانه: دانشکده اقتصاد (دانشگاه تهران) (تهران)

موضوع: Science-Dictionaries

رده :
Q
121
.
V3
1968
R

4289. Van Nostrand's scientific encyclopedia: Aeronautics, astronomy, biochemistry, botany, chemical engineering, chemistry, civil engineering, computer technology, electrical engineering, electronics, geology, guided missiles, mathematics, mechanical engineering, medicine, metallurgy, meteorology, mineralogy, navigation, nuclear science and engineering, photoelectronics, photography, physics, planetary exploration, radio and television, rocketry, space travel, statistics, zoology

کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)

موضوع: Science- Dictionaries

رده :
503
V217
Ed
.
4

4290. Van Nostrand's scientific encyclopedia: aeronautics, astronomy, biochemistry, botany, chemical engineering, chemistry, civil engineering, computer technology, electrical engineering, electronics, geology, guided missiles, mathematics, mechanical engineering, medicine, metallurgy, meteorology, mineralogy, navigation, nuclear science and engineering, pho

موضوع : Dictionaries ، Science

۲ نسخه از این کتاب در ۱ کتابخانه موجود است.

4291. Variation Principle in Informational Macrodynamics

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer industry.,Computer science.,Electronic data processing.,Information theory.,Systems theory.

4292. Variational, geometric, and level set methods in computer vision : third International Workshop, VLSM 2005, Beijing, China, October 16, 2005 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Mathematics -- Congresses ، Computer vision,Methodology -- Congresses ، Computer vision,Congresses ، Image processing -- Digital techniques

رده :
QA
76
.
L28
Vol
.
3752

4293. Variations on constants

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Parallel programming (Computer science) ; Sequential processing (Computer science) ; Mathematical constants. ; Variables (Mathematics) ; Computer programs ; Correctness. ; Constantes (Math?matiques) ; Logiciels ; Exactitude. ; Programmation parall?le (Inf

4294. Variations on constants

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Parallel programming (Computer science),Sequential processing (Computer science),Mathematical constants.,Variables (Mathematics),Computer programs--Correctness

رده :
QA
,
76
.
642
,.
M85
,
2006

4295. Vector analysis for computer graphic

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer graphics--Mathematics,Vector analysis.

رده :
T
,
385
,.
V5663
,
2007

4296. Vector game math processors

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Vector processing (Computer science),Computer games- Programming,Supercomputers- Programming,Computer science- Mathematics,Algorithms

رده :
QA76
.
5
.
L446
2003

4297. Vector game math processors

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Algorithms,Computer games-- Programming,Computer science-- Mathematics,Supercomputers-- Programming,Vector processing (Computer science)

رده :
QA76
.
5
.
L446
2003eb

4298. Verification and evaluation of computer and communication systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.

رده :
TK5105
.
5

4299. Verification of computer codes in computational science and engineering

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Numerical calculations -- Verification,، Differential equations, Partial -- Numerical solutions

رده :
QA
297
.
K59V46

4300. Verification of computer codes in computational science and engineering

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Numerical calculations-- Verification,، Differential equations, Partial-- Numerical solutions

رده :
QA
297
.
K575
2003